var a02517 =
[
    [ "abMsgs", "a02517.html#a2d6495c3cf7fb3fbdd27638ad3de548e", null ],
    [ "maxMsgs", "a02517.html#a42d641821b5c3c8a4f9dd0328dabfc8a", null ]
];